informed proof